Gilezan, Silvia

Мрежа сарадње Статистика Имејл упозорење RSS Feed

Прецизирано по:

Аутор: Dezani-Ciancaglini M.

Резултати 1-4 од 4 (Време претраге: 0.001 секунди).

	Датум издавања	Наслов	Аутор(и)
1	1-нов-2015	Combining behavioural types with security analysis	Bartoletti M.; Castellani I.; Deniélou P.; Dezani-Ciancaglini M.; Gilezan, Silvia ; Pantović, Jovanka ; Pérez J.; Thiemann P.; Toninho B.; Vieira H.
2	1-јан-1997	The “Relevance” of intersection and union types	Dezani-Ciancaglini M.; Gilezan, Silvia ; Venneri B.
3	8-авг-2008	Security types for dynamic web data	Dezani-Ciancaglini M.; Gilezan, Silvia ; Pantović, Jovanka ; Varacca D.
4	1-дец-2003	Two behavioural lambda models	Dezani-Ciancaglini M.; Gilezan, Silvia